🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏹 Effect Systems

Algebraic Effects, Effect Handlers, Computational Effects, Pure Functions

The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·9h·
Discuss: Hacker News
🔠Type-Level Programming
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org·1h
🔄Finite State Machines
Deriving Rope the Proper Way
nor-blog.pages.dev·8h·
Discuss: Hacker News
➡️Category Theory
Composable Effect Handling for Programming LLM-integrated Scripts
arxiv.org·2d
⚙️PL Implementation
5 books that changed my engineering career forever
newsletter.techworld-with-milan.com·14h·
Discuss: r/programming
🔄Reproducible Builds
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·13h·
Discuss: Hacker News
🧪Property-Based Testing
A Compute-Matched Re-Evaluation of TroVE on MATH
arxiv.org·1d
✓Automated Theorem Proving
2000 words about arrays and tables
buttondown.com·1d·
Discuss: Lobsters, Hacker News, r/programming
💻CS
Cogito V2 Preview
deepcogito.com·11h·
Discuss: Hacker News
🔠Type-Level Programming
Introduction to Computer Music an Electronic Textbook
cmtext.com·17h·
Discuss: Hacker News
💻CS
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🎮Verification Games
How Judoscale's Utilization-Based Autoscaling Works
judoscale.com·14h·
Discuss: Hacker News
👁️System Observability
Go Assembly Mutation Testing
words.filippo.io·12h·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Programming is magic, or how I wrote a Kalaha solver
vlaaad.github.io·1d·
Discuss: Hacker News
🎮Verification Games
The Dartboard Sequence
mathpages.com·1d·
Discuss: Hacker News
🎮Verification Games
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·2d
🔍Formal Verification
Why build a domain-specific agent for front end tasks?
kombai.com·15h·
Discuss: Hacker News
🔤DSLs
The smallest embeddable scripting language, part 1
log.schemescape.com·13h·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
Sync primitives are Functionally Complete
kprotty.me·18h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap